#ifndef __DEVICE_CONSOLE_H
#define __DEVICE_CONSOLE_H

#include "sync.h"

void console_init(void);
void console_put_str(char* str);
void console_put_char(char ch);
void console_put_int_x(uint32_t x);
void console_put_int_d(uint32_t d);

#endif